A Larger Decidable Semiunification Problem Brad Lushman University of Waterloo Gordon V. Cormack University of Waterloo

Source URL: plg.uwaterloo.ca

• Theoretical computer science
• Mathematical logic
• Logic
• Automated theorem proving
• Logic programming
• Logic in computer science
• Type theory
• Lambda calculus
• Substitution
• Symbol
• Directed acyclic graph
• Unification

Acceleration in the One-Dimensional Pinball Problem Simiao Gao, Jason Hempstead, Zachary Miksis Ki Yeun (Eunice) Kim, Prof. Vadim Zharnitsky University of Illinois Urbana-Champaign Illinois Geometry Lab

Source URL: www.math.illinois.edu

• Mathematical analysis
• Periodic point
• Pi

The Toilet Paper Problem Donald E. Knuth The American Mathematical Monthly, Vol. 91, No. 8. (Oct., 1984), ppStable URL: http://links.jstor.org/sici?sici=%%2991%3A8%3C465%3ATTPP%3E2.0.CO%3B2-3

Source URL: gi.cebitec.uni-bielefeld.de

Nonlinear global optimization relevant to discrete choice models estimation M. Bierlaire, EPFL, TRANSP-OR Laboratory M. Thémans, EPFL, TRANSP-OR Laboratory N. Zufferey, Université Laval, Facultés des sciences de l’a

Source URL: www.strc.ch

• Mathematical optimization
• Numerical analysis
• Applied mathematics
• Operations research
• Search algorithms
• Metaheuristics
• Travelling salesman problem
• Variable neighborhood search
• Global optimization
• Ant colony optimization algorithms
• Local search
• Genetic algorithm

Decision-aid Methodology for the School Bus Routing and Scheduling Problem Michela Spada, ROSO-IMA-EPFL Michel Bierlaire, ROSO-IMA-EPFL Thomas Liebling, ROSO-IMA-EPFL

Source URL: www.strc.ch

• Operations research
• Combinatorial optimization
• Mathematical optimization
• NP-complete problems
• Travelling salesman problem
• Integer programming
• School bus
• Branch and bound
• Bus
• Heuristic
• Lagrangian relaxation

Scientific Report First name / Family name Francesco Santini

Source URL: fellowship.ercim.eu

• Constraint programming
• Mathematical optimization
• Software engineering
• Computer programming
• Constraint automaton
• Computing
• Constraint satisfaction problem
• Constraint satisfaction
• Constraint
• Reo Coordination Language
• Constrained optimization
• Multi-agent system

An efficient algorithm for real-time estimation and prediction of dynamic OD tables M. Bierlaire and F. Crittin February, 2002 Abstract The problem of estimating and predicting Origin-Destination (OD) tables is known to

Source URL: www.strc.ch

• Statistics
• Probability
• Linear filters
• Mathematical analysis
• Control theory
• Robot control
• Estimation theory
• Markov models
• Kalman filter
• Regression analysis
• Least squares
• Matrix

The Vehicle Routing Problem with Discrete Split Delivery and Time Windows Ilaria Vacca Matteo Salani STRC 2009

Source URL: www.strc.ch

• Operations research
• Mathematical optimization
• Numerical analysis
• Mathematics
• NP-complete problems
• Vehicle routing problem
• Dynamic programming
• Column generation
• Optimization problem
• XTR
• DantzigWolfe decomposition

Genome Informatics 16(2): 237–A Space-Efficient Algorithm for the Constrained Pairwise Sequence Alignment Problem

Source URL: www.jsbi.org

• Computational phylogenetics
• Mathematics
• Bioinformatics
• Applied mathematics
• Mathematical optimization
• Operations research
• Systems science
• Markov models
• Dynamic programming
• Multiple sequence alignment
• Sequence alignment
• Minimum spanning tree

Optimization of evacuation instructions as a fixedpoint problem Olga Huibregtse Gunnar Flötteröd Michel Bierlaire Andreas Hegyi Serge Hoogendoorn

Source URL: www.strc.ch

• Operations research
• Mathematical optimization
• Emergency evacuation
• Program optimization
• Management
• Euthenics
• Academia